Let be self-adjoint elements in a unital C-star-Algebra and suppose that for some invertible element .Let be the Theorem 2.1.9. (The polar decomposition) of with then .
Proof:
The equation implies that and because and are self-adjoint, also .
Hence So commutes with . Consequently, commutes with all elements of and so in particular with . It follows that as desired.